group of unitary operators

[数] 酉算子群